Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
351	Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux† Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2011-01-14 08:37:02 Algebra Mathematics Software engineering Predicate logic Abstract interpretation Galois connection Galois theory Order theory Linear map Free variables and bound variables Loop invariant Flow chart language
352	Accelerated Online Low-Rank Tensor Learning for Multivariate Spatio-Temporal Streams Rose Yu Dehua Cheng Yan Liu Department of Computer Science, University of Southern California Add to Reading List Source URL: jmlr.org Language: English - Date: 2015-09-16 19:38:50 Algebra Linear algebra Mathematics Multilinear algebra Multivariate statistics Matrix theory Tensors Higher-order singular value decomposition Singular value decomposition Rank Kronecker product Matrix
353	Matching, Cardinal Utility, and Social Welfare ELLIOT ANSHELEVICH Rensselaer Polytechnic Institute and SANMAY DAS Rensselaer Polytechnic Institute Add to Reading List Source URL: www.sigecom.org Language: English - Date: 2010-06-09 05:10:16 Combinatorics Matching Game theory Welfare economics Stable marriage problem Utility Cardinal utility CC Social welfare function Order matching system
354	Toilet_Thermo_Governors_141015a Add to Reading List Source URL: www.dubberly.com Language: English - Date: 2016-02-03 18:30:47 Cybernetics Academia Systems science Cognitive science Risk Systems theory Formal sciences Systems thinking Second-order cybernetics System Autopoiesis Control theory
355	Representation of Partial Traces Marc Bagnol Department of Mathematics and Statistics – University of Ottawa The notion of trace in a monoidal category has been introduced by Joyal Street and Verity [4] to give a categ Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-19 05:55:06 Linear algebra Monoidal categories Order theory Category theory Abstract algebra Partial trace Andr Joyal Trace Equivalence class Equivalence relation Embedding Natural transformation
356	First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a b Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:57 Logic Mathematical logic Abstraction Model theory Non-classical logic Logic in computer science Predicate logic First-order logic Boolean satisfiability problem Gdel numbering Many-valued logic Kripke semantics
357	Introduction to Algorithms Lecture 8 Prof. Piotr Indyk Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2011-03-31 12:24:56 Sorting algorithms Order theory Mathematics Combinatorics Insertion sort Merge sort Sorting Insertion Sort Adaptive sort Selection sort
358	Multiverse Recommendation: N-dimensional Tensor Factorization for Context-aware Collaborative Filtering Alexandros Karatzoglou Xavier Amatriain Add to Reading List Source URL: www.nuriaoliver.com Language: English - Date: 2016-02-16 11:13:00 Matrix theory Recommender systems Collaboration Linear algebra Collaborative filtering Singular value decomposition Tensor Higher-order singular value decomposition Matrix Personalization Machine learning Non-negative matrix factorization
359	TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut fur Add to Reading List Source URL: www.tableaux11.unibe.ch Language: English Logic Mathematical logic Theoretical computer science Automated theorem proving Proof theory Methods of proof International Workshop on First-Order Theorem Proving Melvin Fitting Natural deduction Sequent calculus Modal logic Method of analytic tableaux
360	Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l Add to Reading List Source URL: folk.uib.no Language: English - Date: 2009-04-11 10:36:49 Logic Mathematical logic Abstraction Model theory Formal languages Logical truth Metalogic First-order logic Interpretation Substitution Well-formed formula Satisfiability

UPDATE